@book{alma994220723502466,
author = {Jay, C. Barry.},
address = {Edinburgh},
booktitle = {Tail recursion via universal invariants},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-151},
title = {Tail recursion via universal invariants / by C. Barry Jay.},
year = {1991},
}

@book{alma993915173502466,
author = {Moggi, Eugenio.},
address = {Edinburgh},
booktitle = {An abstract view of programming languages},
keywords = {Category theory},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-113},
title = {An abstract view of programming languages / by Eugenio Moggi.},
year = {1990},
}

@book{alma993285073502466,
author = {Huimin, Lin.},
address = {Edinburgh},
booktitle = {Relative completeness in algebraic specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-43},
title = {Relative completeness in algebraic specifications / by Lin Huimin.},
year = {1987},
}

@book{alma994635463502466,
author = {Kahrs, Stefan.},
address = {Edinburgh},
booktitle = {Mistakes and ambiguities in the definition of Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-257},
title = {Mistakes and ambiguities in the definition of Standard ML / by Setfan Kahrs.},
year = {1993},
}

@book{alma993628173502466,
author = {Tofte, Mads.},
address = {Edinburgh},
booktitle = {Four lectures on standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 89-73},
title = {Four lectures on standard ML / by Mads Tofte.},
year = {1989},
}

@book{alma996763463502466,
author = {McAdam, Bruce J.},
address = {Edinburgh},
booktitle = {On the unification of subsitutions in type-inference},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 98-384},
title = {On the unification of subsitutions in type-inference / by Bruce J. McAdams.},
year = {1998},
}

@book{alma996763563502466,
author = {Loader, Ralph.},
address = {Edinburgh},
booktitle = {Notes on simply typed lambda calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 98-381},
title = {Notes on simply typed lambda calculus / by Ralph Loader.},
year = {1998},
}

@book{alma996763603502466,
author = {Gilmore, Stephen.},
address = {Edinburgh},
booktitle = {Programming in Standard ML'97 : a tutorial introduction},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-364},
title = {Programming in Standard ML'97 : a tutorial introduction / Stephen Gilmore.},
year = {1997},
}

@book{alma996763413502466,
author = {McAdam, Bruce J.},
address = {Edinburgh},
booktitle = {That about wraps it up : Using FIX to handle errors without exceptions, and other programming tricks},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 97-375},
title = {That about wraps it up : Using FIX to handle errors without exceptions, and other programming tricks / by Bruce J. McAdams.},
year = {1997},
}

@book{alma995962523502466,
author = {Walker, David.},
address = {Edinburgh},
booktitle = {Introduction to a calculus of communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-22},
title = {Introduction to a calculus of communicating systems / by David Walker.},
year = {1987},
}

@book{alma994848123502466,
author = {Hexsel, Roberto A. (Roberto Andre)},
address = {Edinburgh},
booktitle = {The performance of SCI memory hierarchies},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 30-94},
title = {The performance of SCI memory hierarchies / by Roberto A. Hexsel and Nigel P. Topham.},
year = {1994},
}

@book{alma994742123502466,
author = {Heywood, Todd.},
address = {Edinburgh},
booktitle = {The performance of Barnes-Hut N-body simulation in the abstract},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 27-93},
title = {The performance of Barnes-Hut N-body simulation in the abstract / by Todd Heywood, Krishan Mehrotra, Sanjay Ranka.},
year = {1993},
}

@book{alma993514113502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {CMS : a chunk management system},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 110-82},
title = {CMS : a chunk management system / by M.P. Atkinson, K.J. Chisholm & W.P. Cockshott.},
year = {1982},
}

@book{alma993514633502466,
author = {Hepp, Pedro E.},
address = {Edinburgh},
booktitle = {A DBS architecture supporting coexisting user interfaces : description and examples},
language = {eng},
publisher = {University of Edinburgh},
series = {PPR-6-83},
title = {A DBS architecture supporting coexisting user interfaces : description and examples / by Pedro E. Hepp.},
year = {1983},
}

@book{alma993514033502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Algebras, theories and freeness : an introduction for computer scientists},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 101-82},
title = {Algebras, theories and freeness : an introduction for computer scientists / by R.M. Burstall and J.A. Goguen.},
year = {1982},
}

@book{alma993514573502466,
author = {MacQueen, David B.},
address = {Edinburgh},
booktitle = {Completeness of proof systems for equational specifications},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 160-84},
title = {Completeness of proof systems for equational specifications / by David B. MacQueen and Donald T. Sannella.},
year = {1984},
}

@book{alma993514773502466,
author = {Sannella, D. (Donald)},
address = {Edinburgh},
booktitle = {Structured theories in LCF},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 129-83},
title = {Structured theories in LCF / by D.T. Sannella and R.M. Burstall.},
year = {1983},
}

@book{alma993770183502466,
author = {Jerrum, Mark.},
address = {Edinburgh},
booktitle = {When is a graphical sequence stable?},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 309-89},
title = {When is a graphical sequence stable? / by Mark Jerrum, Brendan McKay and Alistair Sinclair.},
year = {1989},
}

@book{alma993258363502466,
author = {Rydeheard, David Eric.},
address = {Edinburgh},
booktitle = {The unification of terms : a category-theoretic algorithm},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 192-85},
title = {The unification of terms : a category-theoretic algorithm / by D.E. Rydeheard and R.M. Burstall.},
year = {1985},
}

@book{alma993258443502466,
author = {Hepp, Pedro E.},
address = {Edinburgh},
booktitle = {RAQUEL user manual},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 188-85},
title = {RAQUEL user manual / by Pedro Hepp and Moira Norrie.},
year = {1985},
}

@book{alma993257973502466,
author = {Davie, Bruce S.},
address = {Edinburgh},
booktitle = {The role of behaviour in VLSI design languages},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 199-86},
title = {The role of behaviour in VLSI design languages / by B.S. Davie and G.J. Milne.},
year = {1986},
}

@book{alma993425463502466,
author = {Atkinson, M. P.},
address = {Edinburgh},
booktitle = {A uniform, modular structure for databases and programs},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 33-78},
title = {A uniform, modular structure for databases and programs / by Malcolm Atkinson, Jenny Martin and Mick Jordan.},
year = {1978},
}

@book{alma9912589363502466,
author = {Shelness, N. H.},
address = {Edinburgh},
booktitle = {The Edinburgh Multi-Access System  scheduling and allocation procedures in the resident supervisor},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 4},
title = {The Edinburgh Multi-Access System  scheduling and allocation procedures in the resident supervisor / N.H. Shelness, P.D. Stephens, H. Whitfield.},
year = {1977},
}

@book{alma9912589343502466,
author = {Millard, G. E.},
address = {Edinburgh},
booktitle = {The standard EMAS subsystem},
language = {eng},
publisher = {[Edinburgh University]},
series = {EMAS report ; 3},
title = {The standard EMAS subsystem / G.E. Millard, D.J. Rees and H. Whitfield.},
year = {1977},
}

@book{alma993259143502466,
author = {Mosses, Peter D.},
address = {Edinburgh},
booktitle = {On proving limiting completeness},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 177-84},
title = {On proving limiting completeness / by Peter D. Mosses and Gordon D. Plotkin.},
year = {1984},
}

@book{alma9912580793502466,
author = {Skyum, Sven},
address = {Edinburgh},
booktitle = {A complexity theory based on Boolean algebra},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 97-82},
title = {A complexity theory based on Boolean algebra / by S. Skyum and L. G. Valiant.},
year = {1982},
}

@book{alma995597333502466,
author = {Smyth, M. B.},
address = {Edinburgh},
booktitle = {The category-theoretic solution of recursive domain equations},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 102-82},
title = {The category-theoretic solution of recursive domain equations / by M.B. Smyth and G.D. Plotkin.},
year = {1982},
}

@book{alma993257803502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {Improved methods for performance engineering},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 253-88},
title = {Improved methods for performance engineering / R.J. Pooley and M.W. Brown.},
year = {1988},
}

@book{alma993257543502466,
author = {Pooley, R. J.},
address = {Edinburgh},
booktitle = {A diagramming paradigm for hierarchical process oriented discrete event simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {CSR- ; 254-88},
title = {A diagramming paradigm for hierarchical process oriented discrete event simulation / by R.J. Pooley and M.W. Brown.},
year = {1988},
}

@book{alma994742183502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {The formalisation of a hardware description language in a proof system : motivation and applications},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-269},
title = {The formalisation of a hardware description language in a proof system : motivation and applications / by K.G.W. Goossens.},
year = {1993},
}

@book{alma994399303502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A unifying theory of dependent types : the schematic approach},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-202},
title = {A unifying theory of dependent types : the schematic approach / by Zhaohui Luo.},
year = {1992},
}

@book{alma994743633502466,
author = {Tennent, R. D.},
address = {Edinburgh},
booktitle = {Correctness of data representations in Algol-like languages},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-267},
title = {Correctness of data representations in Algol-like languages / by R.D. Tennent.},
year = {1993},
}

@book{alma994743583502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Action structures for the [pi]-calculus},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-264},
title = {Action structures for the [pi]-calculus / by Robin Milner.},
year = {1993},
}

@book{alma994742173502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {Structure and behaviour in hardware verification},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-93-273},
title = {Structure and behaviour in hardware verification / by K.W.G. Goossens.},
year = {1993},
}

@book{alma993688173502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {A calculus of communicating systems},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 86-7},
title = {A calculus of communicating systems / by Robin Milner.},
year = {1986},
}

@book{alma994492013502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {Operational semantics based formal symbolic simulation},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-231},
title = {Operational semantics based formal symbolic simulation / by K.G.W. Goossens.},
year = {1992},
}

@book{alma995955543502466,
author = {Yoshida, Nobuko.},
address = {Edinburgh},
booktitle = {Graph types for monadic mobile processes},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 96-350},
title = {Graph types for monadic mobile processes / Nobuko Yoshida.},
year = {1996},
}

@book{alma994192943502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {Program specification and data refinement in type theory},
keywords = {Computer programs},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-131},
title = {Program specification and data refinement in type theory / by Zhaohui Luo.},
year = {1991},
}

@book{alma994192953502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Computer assisted proof for mathematics : an introduction using the LEGO proof system},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-132},
title = {Computer assisted proof for mathematics : an introduction using the LEGO proof system / by Rod Burstall.},
year = {1991},
}

@book{alma994309973502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {A distributed concurrent implementation of Standard ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-174},
title = {A distributed concurrent implementation of Standard ML / by David C.J. Matthews.},
year = {1991},
}

@book{alma994310073502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {The polyadic [Pi]-calculus : a tutorial},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-180},
title = {The polyadic [Pi]-calculus : a tutorial / by Robin Milner.},
year = {1991},
}

@book{alma994309963502466,
author = {Bruns, Glenn R. (Glenn Robert)},
address = {Edinburgh},
booktitle = {A language for value-passing CCS},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-175},
title = {A language for value-passing CCS / by Glenn Bruns.},
year = {1991},
}

@book{alma994098293502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A problem of adequacy : conservativity of calculus of constructions over higher-order logic},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 90-121},
title = {A problem of adequacy : conservativity of calculus of constructions over higher-order logic / by Zhaohui Luo.},
year = {1990},
}

@book{alma995327803502466,
author = {Matthews, David C. J.},
address = {Edinburgh},
booktitle = {Papers on Poly/ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 95-335},
title = {Papers on Poly/ML / by D.C.J. Matthews.},
year = {1995},
}

@book{alma994220733502466,
author = {Luo, Zhaohui.},
address = {Edinburgh},
booktitle = {A unifying theory of dependent types I},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-154},
title = {A unifying theory of dependent types I / by Zhaohui Luo.},
year = {1991},
}

@book{alma994220753502466,
author = {Goossens, K. G. W.},
address = {Edinburgh},
booktitle = {Embedding a CHDDL in a proof system},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 91-155},
title = {Embedding a CHDDL in a proof system / K.W.G. Goossens.},
year = {1991},
}

@book{alma993262703502466,
author = {Burstall, R. M. (Rodney Matineau)},
address = {Edinburgh},
booktitle = {Inductively defined functions in functional programming languages},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 87-25},
title = {Inductively defined functions in functional programming languages / by Rod Burstall.},
year = {1987},
}

@book{alma994635553502466,
author = {Milner, R. (Robin)},
address = {Edinburgh},
booktitle = {Action structures},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-249},
title = {Action structures / by Robin Milner.},
year = {1993},
}

@book{alma994635543502466,
author = {Plotkin, G. (Gordon)},
address = {Edinburgh},
booktitle = {A semantics for static type inference},
language = {eng},
publisher = {University of Edinburgh},
series = {LFCS report series ; ECS-LFCS-92-245},
title = {A semantics for static type inference / by Gordon Plotkin.},
year = {1993},
}

@book{alma994422793502466,
author = {Phoa, Wesley.},
address = {Edinburgh},
booktitle = {A proposed categorical semantics for Pure ML},
language = {eng},
publisher = {University of Edinburgh},
series = {ECS-LFCS- ; 92-213},
title = {A proposed categorical semantics for Pure ML / by Wesley Phoa, Michael Fourman.},
year = {1992},
}